Nuprl Definition : Msg
11,40
postcript
pdf
Msg(
M
) ==
l
:IdLnk
(
t
:Id
(
M
(
l
,
t
)))
latex
Definitions
Id
,
IdLnk
,
Msg(
M
)
FDL editor aliases
Msg
origin
(t:Id (M(l,t))) (t:Id (M(l,t)))